## 720x576 @ 100Hz
hdmi_group=1
hdmi_mode=42
